Thinking Functionally with Haskell by Richard Bird, Cambridge University Press, 2014
نویسنده
چکیده
منابع مشابه
The serpins are an expanding superfamily of structurally similar but functionally diverse proteins. Evolution, mechanism of inhibition, novel functions, and a revised nomenclature.
Published, JBC Papers in Press, July 2, 2001, DOI 10.1074/jbc.R100016200 Gary A. Silverman, Phillip I. Bird, Robin W. Carrell, Frank C. Church, Paul B. Coughlin, Peter G. W. Gettins, James A Irving, David A. Lomas, Cliff J. Luke, Richard W. Moyer, Philip A. Pemberton, Eileen Remold-O’Donnell, Guy S. Salvesen, James Travis, and James C. Whisstock From the Department of Pediatrics, Division of Ne...
متن کاملThe Stability Theory of Belief
) In Logic across the University: Foundations and Application–Proceedings of the Tsinghua Logic Conference, Beijing, ed. J. van Benthem and F. Liu, 47–54. Volume 47: Studies in Logic. London: College Publications. Levi, Isaac. 1967. Gambling with Truth: An Essay on Induction and the Aims of Science. Cambridge, MA: MIT Press.———. 1980. The Enterprise of Knowledge: An Essay on Knowledge, Cred...
متن کامل620 - 113 Explorations in Number Theory - Bibliography
[1] Lebendige Zahlen, volume 1 of Mathematische Miniaturen [Mathematical Miniatures]. Birkhäuser Verlag, Basel, 1981. Fünf Exkursionen. [Five excursions]. [2] Emile Borel. Les nombres premiers. Presses Universitaires de France, Paris, 1953. [3] Peter Bundschuh. Einführung in die Zahlentheorie. Springer-Lehrbuch. [Springer Textbook]. Springer-Verlag, Berlin, second edition, 1992. [4] Chris Caldw...
متن کاملThe world as a graph: defending metaphysical graphical structuralism
Barker, S. 2009. Dispositional monism, relational constitution and quiddities. Analysis 69: 242–50. Bird, A. 2007. Nature’s Metaphysics: Laws and Properties. Oxford: Clarendon Press. Dipert, R. 1997. The mathematical structure of the world: the world as graph. The Journal of Philosophy 94: 329–58. Erdös, P. and A. Rényi. 1963. Asymmetric graphs. Acta Mathematica Academiae Scientiarum Hungaricae...
متن کاملProgramming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5
The proposed solution runs entirely against the orthodoxy that compositionality is necessary for modularity, but it is persausive. Much to their credit, the authors have robustly defended this view and others in several online forums, and have shown they are prepared to accept and develop viewpoints distinct from their own. In closing, I must ask the inevitable rhetorical questions: would CTM h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Funct. Program.
دوره 25 شماره
صفحات -
تاریخ انتشار 2015